reglas de inferencia logica ejercicios resueltos